Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | B | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 60 | 65 | 62 | 76 | 0 | 253 | 425 | 83 | 343 |
N.S. |
1 | 1.08 | 1.03 | 1.27 | 0.00 | 4.22 | 7.08 | 1.38 | 5.72 |
time (sec) |
N/A | 0.053 | 0.127 | 1.194 | 0.000 | 0.279 | 13.670 | 0.299 | 10.392 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | B | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 43 | 47 | 43 | 47 | 0 | 190 | 144 | 60 | 42 |
N.S. |
1 | 1.09 | 1.00 | 1.09 | 0.00 | 4.42 | 3.35 | 1.40 | 0.98 |
time (sec) |
N/A | 0.026 | 0.031 | 0.796 | 0.000 | 0.291 | 2.166 | 0.285 | 8.265 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 111 | 117 | 99 | 114 | 0 | 1057 | 0 | 141 | 3281 |
N.S. |
1 | 1.05 | 0.89 | 1.03 | 0.00 | 9.52 | 0.00 | 1.27 | 29.56 |
time (sec) |
N/A | 0.118 | 0.279 | 1.494 | 0.000 | 1.158 | 0.000 | 0.298 | 10.357 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 178 | 185 | 160 | 234 | 0 | 2882 | 0 | 301 | 24122 |
N.S. |
1 | 1.04 | 0.90 | 1.31 | 0.00 | 16.19 | 0.00 | 1.69 | 135.52 |
time (sec) |
N/A | 0.326 | 0.666 | 2.512 | 0.000 | 94.949 | 0.000 | 0.300 | 24.629 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 271 | 284 | 251 | 625 | 0 | 0 | 0 | 766 | 62873 |
N.S. |
1 | 1.05 | 0.93 | 2.31 | 0.00 | 0.00 | 0.00 | 2.83 | 232.00 |
time (sec) |
N/A | 0.707 | 1.725 | 6.013 | 0.000 | 0.000 | 0.000 | 0.351 | 33.285 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 278 | 306 | 183 | 456 | 0 | 1451 | 0 | 502 | 13700 |
N.S. |
1 | 1.10 | 0.66 | 1.64 | 0.00 | 5.22 | 0.00 | 1.81 | 49.28 |
time (sec) |
N/A | 0.635 | 4.854 | 2.188 | 0.000 | 0.367 | 0.000 | 0.325 | 23.032 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 205 | 138 | 303 | 0 | 1006 | 0 | 558 | 8953 |
N.S. |
1 | 1.10 | 0.74 | 1.62 | 0.00 | 5.38 | 0.00 | 2.98 | 47.88 |
time (sec) |
N/A | 0.325 | 2.205 | 1.815 | 0.000 | 0.354 | 0.000 | 0.305 | 19.510 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 119 | 129 | 124 | 220 | 0 | 665 | 0 | 241 | 5776 |
N.S. |
1 | 1.08 | 1.04 | 1.85 | 0.00 | 5.59 | 0.00 | 2.03 | 48.54 |
time (sec) |
N/A | 0.153 | 0.735 | 1.007 | 0.000 | 0.313 | 0.000 | 0.300 | 16.668 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 90 | 97 | 89 | 144 | 0 | 399 | 0 | 151 | 215 |
N.S. |
1 | 1.08 | 0.99 | 1.60 | 0.00 | 4.43 | 0.00 | 1.68 | 2.39 |
time (sec) |
N/A | 0.072 | 0.337 | 1.142 | 0.000 | 0.320 | 0.000 | 0.284 | 8.380 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | B | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 76 | 83 | 76 | 122 | 0 | 336 | 1943 | 122 | 174 |
N.S. |
1 | 1.09 | 1.00 | 1.61 | 0.00 | 4.42 | 25.57 | 1.61 | 2.29 |
time (sec) |
N/A | 0.044 | 0.138 | 0.755 | 0.000 | 0.348 | 42.503 | 0.273 | 8.203 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 169 | 181 | 155 | 236 | 0 | 2871 | 0 | 297 | 24123 |
N.S. |
1 | 1.07 | 0.92 | 1.40 | 0.00 | 16.99 | 0.00 | 1.76 | 142.74 |
time (sec) |
N/A | 0.306 | 0.686 | 2.522 | 0.000 | 78.840 | 0.000 | 0.301 | 25.136 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 272 | 290 | 216 | 331 | 0 | 0 | 0 | 975 | 71320 |
N.S. |
1 | 1.07 | 0.79 | 1.22 | 0.00 | 0.00 | 0.00 | 3.58 | 262.21 |
time (sec) |
N/A | 0.775 | 1.447 | 9.282 | 0.000 | 0.000 | 0.000 | 0.426 | 34.074 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 427 | 458 | 313 | 760 | 0 | 0 | 0 | 1086 | 137274 |
N.S. |
1 | 1.07 | 0.73 | 1.78 | 0.00 | 0.00 | 0.00 | 2.54 | 321.48 |
time (sec) |
N/A | 1.377 | 4.431 | 25.605 | 0.000 | 0.000 | 0.000 | 0.370 | 49.330 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 481 | 534 | 1251 | 1123 | 0 | 3174 | 0 | 3043 | 23910 |
N.S. |
1 | 1.11 | 2.60 | 2.33 | 0.00 | 6.60 | 0.00 | 6.33 | 49.71 |
time (sec) |
N/A | 1.376 | 10.361 | 4.078 | 0.000 | 0.484 | 0.000 | 0.383 | 26.513 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 289 | 318 | 774 | 854 | 0 | 2335 | 0 | 1120 | 16958 |
N.S. |
1 | 1.10 | 2.68 | 2.96 | 0.00 | 8.08 | 0.00 | 3.88 | 58.68 |
time (sec) |
N/A | 0.654 | 10.070 | 3.217 | 0.000 | 0.431 | 0.000 | 0.344 | 22.336 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 224 | 248 | 455 | 671 | 0 | 1631 | 0 | 856 | 11848 |
N.S. |
1 | 1.11 | 2.03 | 3.00 | 0.00 | 7.28 | 0.00 | 3.82 | 52.89 |
time (sec) |
N/A | 0.524 | 6.196 | 1.796 | 0.000 | 0.353 | 0.000 | 0.338 | 22.276 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 179 | 196 | 176 | 465 | 0 | 1025 | 0 | 586 | 641 |
N.S. |
1 | 1.09 | 0.98 | 2.60 | 0.00 | 5.73 | 0.00 | 3.27 | 3.58 |
time (sec) |
N/A | 0.189 | 0.967 | 1.347 | 0.000 | 0.331 | 0.000 | 0.322 | 11.338 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 145 | 162 | 134 | 349 | 0 | 799 | 0 | 412 | 477 |
N.S. |
1 | 1.12 | 0.92 | 2.41 | 0.00 | 5.51 | 0.00 | 2.84 | 3.29 |
time (sec) |
N/A | 0.130 | 0.500 | 1.392 | 0.000 | 0.308 | 0.000 | 0.318 | 9.954 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 118 | 131 | 96 | 282 | 0 | 618 | 0 | 273 | 395 |
N.S. |
1 | 1.11 | 0.81 | 2.39 | 0.00 | 5.24 | 0.00 | 2.31 | 3.35 |
time (sec) |
N/A | 0.087 | 0.280 | 1.166 | 0.000 | 0.305 | 0.000 | 0.273 | 10.602 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 260 | 285 | 234 | 625 | 0 | 0 | 0 | 768 | 62873 |
N.S. |
1 | 1.10 | 0.90 | 2.40 | 0.00 | 0.00 | 0.00 | 2.95 | 241.82 |
time (sec) |
N/A | 0.693 | 1.166 | 5.985 | 0.000 | 0.000 | 0.000 | 0.338 | 32.146 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 419 | 454 | 302 | 736 | 0 | 0 | 0 | 1088 | 137273 |
N.S. |
1 | 1.08 | 0.72 | 1.76 | 0.00 | 0.00 | 0.00 | 2.60 | 327.62 |
time (sec) |
N/A | 1.542 | 4.146 | 28.017 | 0.000 | 0.000 | 0.000 | 0.372 | 48.380 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | F(-1) | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 617 | 669 | 1080 | 1157 | 0 | 0 | 0 | 6885 | 571173 |
N.S. |
1 | 1.08 | 1.75 | 1.88 | 0.00 | 0.00 | 0.00 | 11.16 | 925.73 |
time (sec) |
N/A | 2.129 | 7.392 | 42.935 | 0.000 | 0.000 | 0.000 | 3.284 | 87.579 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 293 | 298 | 261 | 1835 | 0 | 579 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.89 | 6.26 | 0.00 | 1.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.342 | 1.764 | 9.674 | 0.000 | 0.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 232 | 235 | 212 | 1449 | 0 | 509 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.91 | 6.25 | 0.00 | 2.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.265 | 0.919 | 8.043 | 0.000 | 0.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 181 | 151 | 701 | 0 | 443 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.84 | 3.89 | 0.00 | 2.46 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.145 | 0.584 | 6.442 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | C | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 139 | 140 | 101 | 243 | 0 | 383 | 0 | 0 | 176 |
N.S. |
1 | 1.01 | 0.73 | 1.75 | 0.00 | 2.76 | 0.00 | 0.00 | 1.27 |
time (sec) |
N/A | 0.092 | 3.207 | 5.109 | 0.000 | 0.102 | 0.000 | 0.000 | 9.077 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 195 | 158 | 567 | 0 | 614 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.82 | 2.94 | 0.00 | 3.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.149 | 0.535 | 7.335 | 0.000 | 0.109 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 281 | 285 | 196 | 887 | 0 | 1025 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.70 | 3.16 | 0.00 | 3.65 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.275 | 1.129 | 15.191 | 0.000 | 0.139 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 362 | 369 | 287 | 1049 | 0 | 1573 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.79 | 2.90 | 0.00 | 4.35 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.366 | 1.645 | 24.203 | 0.000 | 0.195 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 432 | 451 | 358 | 2112 | 0 | 789 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.83 | 4.89 | 0.00 | 1.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.605 | 2.792 | 21.698 | 0.000 | 0.160 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 333 | 347 | 276 | 1575 | 0 | 671 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.83 | 4.73 | 0.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.427 | 2.361 | 13.220 | 0.000 | 0.145 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 247 | 254 | 205 | 1100 | 0 | 563 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.83 | 4.45 | 0.00 | 2.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.293 | 1.318 | 10.076 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 197 | 203 | 168 | 695 | 0 | 475 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.85 | 3.53 | 0.00 | 2.41 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.193 | 1.501 | 8.425 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 223 | 228 | 166 | 888 | 0 | 795 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.74 | 3.98 | 0.00 | 3.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.223 | 1.007 | 10.377 | 0.000 | 0.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 320 | 329 | 290 | 1043 | 0 | 1400 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.91 | 3.26 | 0.00 | 4.38 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.340 | 1.918 | 22.289 | 0.000 | 0.217 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 449 | 460 | 402 | 1450 | 0 | 2293 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.90 | 3.23 | 0.00 | 5.11 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.553 | 2.850 | 38.448 | 0.000 | 0.242 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 609 | 642 | 512 | 2728 | 0 | 1051 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.84 | 4.48 | 0.00 | 1.73 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.881 | 4.724 | 58.371 | 0.000 | 0.180 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 470 | 496 | 385 | 2112 | 0 | 881 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.82 | 4.49 | 0.00 | 1.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.715 | 4.432 | 18.220 | 0.000 | 0.217 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 359 | 375 | 287 | 1561 | 0 | 730 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.80 | 4.35 | 0.00 | 2.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.461 | 3.672 | 14.358 | 0.000 | 0.135 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 290 | 302 | 210 | 1085 | 0 | 593 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.72 | 3.74 | 0.00 | 2.04 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.346 | 3.521 | 12.181 | 0.000 | 0.160 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 345 | 361 | 290 | 1398 | 0 | 1066 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.84 | 4.05 | 0.00 | 3.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.429 | 2.853 | 14.571 | 0.000 | 0.154 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 377 | 391 | 340 | 1379 | 0 | 1892 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.90 | 3.66 | 0.00 | 5.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.485 | 4.115 | 29.938 | 0.000 | 0.211 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 514 | 532 | 547 | 1621 | 0 | 3050 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.06 | 3.15 | 0.00 | 5.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.710 | 4.958 | 48.273 | 0.000 | 0.408 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 693 | 716 | 651 | 2111 | 0 | 4693 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.94 | 3.05 | 0.00 | 6.77 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.929 | 8.715 | 72.354 | 0.000 | 0.522 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 290 | 296 | 593 | 1190 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.04 | 4.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.698 | 28.811 | 4.979 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 227 | 229 | 240 | 391 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.06 | 1.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.327 | 20.479 | 2.140 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 152 | 153 | 113 | 181 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.74 | 1.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.210 | 5.170 | 1.955 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 75 | 75 | 74 | 151 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.99 | 2.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.135 | 0.246 | 1.481 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 217 | 220 | 603 | 610 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.78 | 2.81 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.409 | 4.715 | 3.289 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 392 | 399 | 1049 | 1072 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.68 | 2.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.057 | 6.606 | 7.980 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 499 | 534 | 1058 | 1886 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.12 | 3.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.312 | 9.344 | 17.974 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 369 | 390 | 950 | 1363 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 2.57 | 3.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.785 | 9.507 | 17.082 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 336 | 351 | 870 | 1027 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 2.59 | 3.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.689 | 6.631 | 5.313 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 296 | 307 | 575 | 872 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.94 | 2.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.560 | 16.615 | 6.214 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 312 | 325 | 585 | 690 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.88 | 2.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.608 | 4.174 | 4.984 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 426 | 449 | 1014 | 1266 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 2.38 | 2.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.042 | 6.729 | 8.851 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 621 | 661 | 1244 | 1731 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 2.00 | 2.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.792 | 7.520 | 22.782 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 752 | 816 | 1403 | 2775 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 1.87 | 3.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.084 | 11.112 | 90.069 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 561 | 605 | 1233 | 2237 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 2.20 | 3.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.410 | 9.617 | 86.056 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 512 | 549 | 1088 | 1888 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.12 | 3.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.354 | 10.519 | 79.606 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 442 | 472 | 961 | 1718 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.17 | 3.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.165 | 6.975 | 14.633 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 454 | 487 | 988 | 1525 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.18 | 3.36 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.004 | 6.676 | 15.260 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 468 | 503 | 1016 | 867 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.17 | 1.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.113 | 6.814 | 9.158 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 636 | 682 | 1231 | 2099 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.94 | 3.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.786 | 7.508 | 22.001 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 861 | 888 | 1945 | 364669 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.26 | 423.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.232 | 8.689 | 18.526 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 771 | 784 | 1855 | 247614 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.41 | 321.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.286 | 13.620 | 11.783 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 621 | 628 | 196044 | 132368 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 315.69 | 213.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.867 | 37.849 | 12.131 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 196 | 198 | 192 | 222819 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.98 | 1136.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.075 | 0.244 | 11.954 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 403 | 409 | 254 | 41713 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.63 | 103.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.334 | 10.367 | 8.237 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 482 | 489 | 2032 | 175820 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 4.22 | 364.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.599 | 6.434 | 11.336 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1039 | 1080 | 2036 | 514068 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.96 | 494.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.361 | 8.721 | 26.855 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 846 | 870 | 1916 | 364406 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.26 | 430.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.206 | 6.420 | 17.975 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 726 | 740 | 1849 | 250087 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.55 | 344.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.620 | 13.732 | 12.448 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 635 | 644 | 191301 | 468798 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 301.26 | 738.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.020 | 39.135 | 16.312 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 594 | 600 | 1869 | 552130 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 3.15 | 929.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.602 | 13.670 | 27.116 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 490 | 497 | 1978 | 169948 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 4.04 | 346.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.614 | 6.403 | 10.786 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1237 | 1295 | 2195 | 680680 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 1.77 | 550.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.117 | 12.495 | 40.476 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1030 | 1071 | 2035 | 514069 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.98 | 499.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.273 | 9.862 | 23.973 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 867 | 894 | 1939 | 361707 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.24 | 417.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.186 | 9.088 | 17.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 731 | 745 | 1865 | 656608 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.55 | 898.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.420 | 21.115 | 21.696 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 762 | 780 | 1964 | 762903 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.58 | 1001.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.684 | 8.486 | 35.486 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 727 | 737 | 2118 | 1389526 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.91 | 1911.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.168 | 11.468 | 53.875 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 755 | 772 | 1871 | 657273 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.48 | 870.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.531 | 16.652 | 19.356 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 636 | 644 | 191472 | 481621 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 301.06 | 757.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.047 | 41.150 | 16.518 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 196 | 198 | 191 | 223623 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.97 | 1140.93 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.070 | 0.195 | 11.885 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 189 | 192 | 173 | 1105 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.92 | 5.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.073 | 0.240 | 11.224 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 399 | 405 | 77809 | 36777 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 195.01 | 92.17 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.310 | 38.578 | 11.439 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 513 | 521 | 2066 | 192753 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 4.03 | 375.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.648 | 6.455 | 13.962 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 797 | 822 | 1963 | 849240 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.46 | 1065.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.780 | 8.672 | 39.749 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 594 | 600 | 1870 | 614831 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 3.15 | 1035.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.622 | 18.405 | 28.168 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 403 | 409 | 223 | 41770 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.55 | 103.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.319 | 8.100 | 8.090 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 399 | 405 | 77759 | 35628 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 194.88 | 89.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.299 | 43.668 | 11.139 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 483 | 495 | 2037 | 107030 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 4.22 | 221.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.624 | 6.636 | 13.695 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 657 | 681 | 2269 | 371180 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.45 | 564.96 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.229 | 6.928 | 17.007 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 717 | 736 | 2103 | 1793484 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.93 | 2501.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.208 | 11.023 | 67.750 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 486 | 497 | 1968 | 160231 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 4.05 | 329.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.670 | 6.401 | 10.968 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 475 | 489 | 2011 | 175820 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 4.23 | 370.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.572 | 6.439 | 11.558 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 499 | 516 | 2040 | 201690 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 4.09 | 404.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.663 | 6.421 | 12.685 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 655 | 688 | 2255 | 373779 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 3.44 | 570.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.277 | 6.959 | 16.299 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 894 | 941 | 2530 | 902545 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 2.83 | 1009.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.946 | 7.737 | 24.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |